7.3.1 (a+b arctanh(c x^n))^p.nb

(* Content-type: application/mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 7.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[    103568,       2114]
NotebookOptionsPosition[     99670,       2006]
NotebookOutlinePosition[    101355,       2059]
CellTagsIndexPosition[    101312,       2056]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 StyleBox[
  RowBox[{Cell[TextData[StyleBox["Rules for integrands of the form",
    FontFamily->"Arial",
    FontSize->16]], "None"], 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"b", " ", 
       RowBox[{"ArcTanh", "[", 
        RowBox[{"c", " ", 
         SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"]}],
  FontSize->16]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
   3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9, 
   3.5194037847117205`*^9}, {3.5233155055329347`*^9, 3.523315506402936*^9}, {
   3.523318726949605*^9, 3.5233187276796064`*^9}, {3.523920400879534*^9, 
   3.5239204094439487`*^9}, 3.52392096260852*^9, 3.523921038171853*^9, 
   3.5340477459008017`*^9, 3.5340515540554085`*^9, {3.536542511100503*^9, 
   3.53654251626051*^9}, {3.536775961244521*^9, 3.5367759616145215`*^9}, {
   3.544373142375139*^9, 3.5443731599851637`*^9}, {3.5721095751430073`*^9, 
   3.5721095751430073`*^9}, {3.57578648209792*^9, 3.575786503859958*^9}, 
   3.575786540270422*^9, {3.5757866379421935`*^9, 3.5757866609522343`*^9}, 
   3.7460471415536027`*^9},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{Cell[TextData[StyleBox["1:",
   FontFamily->"Arial",
   FontColor->RGBColor[1, 0, 0]]], "None"], "  ", 
  RowBox[{"\[Integral]", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
    RowBox[{"\[DifferentialD]", "x"}], "  ", 
    StyleBox["when",
     FontFamily->"Arial",
     FontWeight->"Plain"], 
    StyleBox["  ",
     FontFamily->"Arial",
     FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
     RowBox[{
      RowBox[{"p", "\[Element]", 
       SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"n", "\[Equal]", "1"}], "\[Or]", 
        RowBox[{"p", "\[Equal]", "1"}]}], ")"}]}]]]], 
     "None"]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9}, 
   3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
   3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9, 
   3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9, 
   3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
   3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
   3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9, 
   3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
   3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9, 
   3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9}, 
   3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
   3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9, 
   3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
   3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9, 
   3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
   3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9, 
   3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
   3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9, 
   3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
   3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9, 
   3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
   3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9, 
   3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
   3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9, 
   3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9}, 
   3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
   3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
   3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9, 
   3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9}, 
   3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
   3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9, 
   3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9}, 
   3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9}, 
   3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
   3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9, 
   3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
   3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
   3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9, 
   3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
   3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9, 
   3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9, 
   3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9}, 
   3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
   3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9, 
   3.5508025179152374`*^9}, {3.5508029261175857`*^9, 
   3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9}, 
   3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
   3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9, 
   3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
   3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9, 
   3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9, 
   3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9, 
   3.553617790541517*^9}, 3.553618024341844*^9, {3.555773069849354*^9, 
   3.5557730797865715`*^9}, 3.5562984432807446`*^9, 3.5860254201673713`*^9, 
   3.5861106634910364`*^9, 3.6201611857730465`*^9, 3.716399686685902*^9, {
   3.716400479459246*^9, 3.7164005254918795`*^9}, {3.719022600466964*^9, 
   3.7190226006919765`*^9}, {3.7190271394835806`*^9, 
   3.7190271397155943`*^9}, {3.7190742173351297`*^9, 
   3.7190742192672405`*^9}, {3.719094188143498*^9, 3.719094188143498*^9}, 
   3.736566958852809*^9, 3.7365671637415276`*^9, {3.736623093321371*^9, 
   3.7366230937353945`*^9}, {3.746046291613989*^9, 3.7460463161983953`*^9}, 
   3.746046413788977*^9},
 FontSize->12,
 FontWeight->"Bold"],

Cell["Derivation: Integration by parts", "Subsubsection"],

Cell[TextData[{
 "Basis: ",
 Cell[BoxData[
  RowBox[{
   RowBox[{
    SubscriptBox["\[PartialD]", "x"], 
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"]}], "\[Equal]", 
   RowBox[{"b", " ", "c", " ", "n", " ", "p", " ", 
    FractionBox[
     RowBox[{
      SuperscriptBox["x", 
       RowBox[{"n", "-", "1"}]], " ", 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"a", "+", 
         RowBox[{"b", " ", 
          RowBox[{"ArcTanh", "[", 
           RowBox[{"c", " ", 
            SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], 
       RowBox[{"p", "-", "1"}]]}], 
     RowBox[{"1", "-", 
      RowBox[{
       SuperscriptBox["c", "2"], " ", 
       SuperscriptBox["x", 
        RowBox[{"2", " ", "n"}]]}]}]]}]}]],
  CellChangeTimes->{{3.7164000820815177`*^9, 3.7164001510404615`*^9}}]
}], "Subsubsection",
 CellChangeTimes->{{3.7164000749121075`*^9, 3.716400075869162*^9}, 
   3.7164001604469995`*^9, {3.7365669595598493`*^9, 3.7365669602978916`*^9}, {
   3.7365671753641925`*^9, 3.7365671826236076`*^9}, {3.73656721850566*^9, 
   3.73656721850566*^9}, {3.74604617607238*^9, 3.74604617607238*^9}, {
   3.7460462731769347`*^9, 3.7460462731769347`*^9}}],

Cell[TextData[{
 "Rule: If  ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"p", "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"n", "\[Equal]", "1"}], "\[Or]", 
     RowBox[{"p", "\[Equal]", "1"}]}], ")"}]}]]],
 ", then"
}], "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9}, {
   3.5557730819861755`*^9, 3.5557730819861755`*^9}, {3.716400533673347*^9, 
   3.716400533673347*^9}, {3.719074249647978*^9, 3.719074249647978*^9}, {
   3.7190941942198453`*^9, 3.7190941942198453`*^9}, {3.7365672317114153`*^9, 
   3.7365672317114153`*^9}, {3.7460463247278833`*^9, 3.7460463247278833`*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Integral]", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
    RowBox[{"\[DifferentialD]", 
     RowBox[{"x", "  ", "\[LongRightArrow]", "  ", "x"}]}], " ", 
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"]}]}], "-", 
  RowBox[{"b", " ", "c", " ", "n", " ", "p", " ", 
   RowBox[{"\[Integral]", 
    RowBox[{
     FractionBox[
      RowBox[{
       SuperscriptBox["x", "n"], " ", 
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", " ", 
           RowBox[{"ArcTanh", "[", 
            RowBox[{"c", " ", 
             SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], 
        RowBox[{"p", "-", "1"}]]}], 
      RowBox[{"1", "-", 
       RowBox[{
        SuperscriptBox["c", "2"], " ", 
        SuperscriptBox["x", 
         RowBox[{"2", " ", "n"}]]}]}]], 
     RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{{3.4796579732027807`*^9, 3.479658002474872*^9}, {
   3.4796580599975853`*^9, 3.4796580609489536`*^9}, {3.479658295195784*^9, 
   3.47965829684816*^9}, 3.4796611938939075`*^9, 3.4796613924794593`*^9, {
   3.479661443342597*^9, 3.479661446647349*^9}, {3.479661576554146*^9, 
   3.479661589302477*^9}, 3.479661847553824*^9, {3.4796622294729967`*^9, 
   3.4796622450654173`*^9}, {3.479686720424531*^9, 3.4796867204345455`*^9}, {
   3.4796874646646957`*^9, 3.4796874745589232`*^9}, {3.492826573513727*^9, 
   3.492826578630536*^9}, {3.4928267070863624`*^9, 3.492826707460763*^9}, 
   3.4928267903497095`*^9, {3.492829799151373*^9, 3.4928299617216005`*^9}, {
   3.4940972077187414`*^9, 3.4940972347887793`*^9}, {3.49409966398218*^9, 
   3.494099664952181*^9}, {3.4940997156722527`*^9, 3.494099716112253*^9}, {
   3.5860254201673713`*^9, 3.586025420177371*^9}, {3.586025740007834*^9, 
   3.586025749592848*^9}, {3.5861106634910364`*^9, 3.5861106635110364`*^9}, 
   3.5861109695214653`*^9, {3.716399960384557*^9, 3.7164000301995497`*^9}, {
   3.736566960813921*^9, 3.7365669625440197`*^9}, {3.7365672397178736`*^9, 
   3.736567239941886*^9}, 3.7376621522184935`*^9, {3.7460463886145372`*^9, 
   3.7460464182382317`*^9}, 3.7460464775096216`*^9},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell["Program code:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
   3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9, 
   3.492805165713872*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_."}]}], "]"}]}]}], ")"}], "^", "p_."}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{
    RowBox[{"x", "*", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcTanh", "[", 
          RowBox[{"c", "*", 
           RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", "p"}]}], " ", 
    "-", " ", "\n", "  ", 
    RowBox[{"b", "*", "c", "*", "n", "*", "p", "*", 
     RowBox[{"Int", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"x", "^", "n"}], "*", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"a", "+", 
            RowBox[{"b", "*", 
             RowBox[{"ArcTanh", "[", 
              RowBox[{"c", "*", 
               RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", 
          RowBox[{"(", 
           RowBox[{"p", "-", "1"}], ")"}]}], "/", 
         RowBox[{"(", 
          RowBox[{"1", "-", 
           RowBox[{
            RowBox[{"c", "^", "2"}], "*", 
            RowBox[{"x", "^", 
             RowBox[{"(", 
              RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}]}], ",", "x"}], 
      "]"}]}]}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c", ",", "n"}], "}"}], ",", "x"}], "]"}], 
    " ", "&&", " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "0"}], "]"}], " ", "&&", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"EqQ", "[", 
       RowBox[{"n", ",", "1"}], "]"}], " ", "||", " ", 
      RowBox[{"EqQ", "[", 
       RowBox[{"p", ",", "1"}], "]"}]}], ")"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, {
   3.719022584373043*^9, 3.7190225882532654`*^9}, {3.7190248557509584`*^9, 
   3.719024858454113*^9}, {3.719074255588318*^9, 3.719074257970454*^9}, 
   3.7201601843505173`*^9, 3.7202005074665294`*^9, {3.736567254295707*^9, 
   3.7365672762369623`*^9}, {3.746046047456024*^9, 3.7460461116066933`*^9}, {
   3.746046520367073*^9, 3.746046534718894*^9}, 3.746046629552318*^9},
 Background->GrayLevel[0.85]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcCoth", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_."}]}], "]"}]}]}], ")"}], "^", "p_."}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{
    RowBox[{"x", "*", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcCoth", "[", 
          RowBox[{"c", "*", 
           RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", "p"}]}], " ", 
    "-", " ", "\n", "  ", 
    RowBox[{"b", "*", "c", "*", "n", "*", "p", "*", 
     RowBox[{"Int", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"x", "^", "n"}], "*", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"a", "+", 
            RowBox[{"b", "*", 
             RowBox[{"ArcCoth", "[", 
              RowBox[{"c", "*", 
               RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", 
          RowBox[{"(", 
           RowBox[{"p", "-", "1"}], ")"}]}], "/", 
         RowBox[{"(", 
          RowBox[{"1", "-", 
           RowBox[{
            RowBox[{"c", "^", "2"}], "*", 
            RowBox[{"x", "^", 
             RowBox[{"(", 
              RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}]}], ",", "x"}], 
      "]"}]}]}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c", ",", "n"}], "}"}], ",", "x"}], "]"}], 
    " ", "&&", " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "0"}], "]"}], " ", "&&", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"EqQ", "[", 
       RowBox[{"n", ",", "1"}], "]"}], " ", "||", " ", 
      RowBox[{"EqQ", "[", 
       RowBox[{"p", ",", "1"}], "]"}]}], ")"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, {
   3.719022584373043*^9, 3.7190225882532654`*^9}, {3.7190248557509584`*^9, 
   3.719024858454113*^9}, {3.719074255588318*^9, 3.719074257970454*^9}, 
   3.7201601843505173`*^9, 3.7202005074665294`*^9, {3.736567254295707*^9, 
   3.7365672762369623`*^9}, {3.746046047456024*^9, 3.7460461116066933`*^9}, {
   3.746046520367073*^9, 3.746046555719095*^9}, {3.7460466224959145`*^9, 
   3.746046623854992*^9}},
 Background->GrayLevel[0.85]],

Cell["", "Subsubsection",
 CellDingbat->None,
 CellChangeTimes->{3.4796643211106243`*^9, 3.4941724567488375`*^9}]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{Cell[TextData[StyleBox["2.",
   FontFamily->"Arial"]], "None"], "  ", 
  RowBox[{"\[Integral]", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
    RowBox[{"\[DifferentialD]", "x"}], "  ", 
    StyleBox["when",
     FontFamily->"Arial",
     FontWeight->"Plain"], 
    StyleBox["  ",
     FontFamily->"Arial",
     FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
     RowBox[{
      RowBox[{
       RowBox[{"p", "-", "1"}], "\[Element]", 
       SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
      RowBox[{"n", "\[Element]", "\[DoubleStruckCapitalZ]"}]}]]]], 
     "None"]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
   3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9, 
   3.5194037847117205`*^9}, 3.52105258275843*^9, 3.5210531741726685`*^9, {
   3.521057461672199*^9, 3.5210574760242243`*^9}, {3.521059881564049*^9, 
   3.521059886088057*^9}, {3.5213902158895197`*^9, 3.521390217543123*^9}, {
   3.521390827878595*^9, 3.521390829376197*^9}, {3.5214688792561245`*^9, 
   3.521468879443325*^9}, {3.523320201951167*^9, 3.523320202247567*^9}, {
   3.5288596764894824`*^9, 3.5288596768094826`*^9}, {3.529196266260353*^9, 
   3.5291962665099535`*^9}, {3.5291997050223927`*^9, 
   3.5291997052563934`*^9}, {3.529201346457276*^9, 3.529201347252877*^9}, {
   3.529285041073242*^9, 3.5292850412632427`*^9}, {3.529285215443486*^9, 
   3.529285215443486*^9}, {3.5295115356999426`*^9, 3.5295115433443794`*^9}, {
   3.529521412127842*^9, 3.529521414647986*^9}, {3.529529429975619*^9, 
   3.529529432955224*^9}, 3.5340074894011116`*^9, 3.5415537711400824`*^9, {
   3.5415538454742126`*^9, 3.54155384951462*^9}, {3.5417297197063265`*^9, 
   3.5417297252443366`*^9}, {3.546297494083555*^9, 3.5462974982435613`*^9}, {
   3.5462989134855423`*^9, 3.5462989153655453`*^9}, 3.548544146508506*^9, 
   3.5488738855784535`*^9, {3.5505953688729563`*^9, 3.5505953726861744`*^9}, {
   3.550619508681926*^9, 3.5506195174954305`*^9}, {3.551326301250945*^9, 
   3.551326301841979*^9}, {3.552150760656293*^9, 3.552150761436294*^9}, 
   3.5521509768882723`*^9, {3.5521510341403728`*^9, 3.5521510486171985`*^9}, {
   3.5521511118909097`*^9, 3.5521511159313164`*^9}, 3.55215165895267*^9, 
   3.552151705315952*^9, 3.553532182175474*^9, {3.553559669357978*^9, 
   3.553559705888029*^9}, {3.5535602318087654`*^9, 3.5535602417087793`*^9}, 
   3.553617594461242*^9, 3.553617658031331*^9, {3.553617950531741*^9, 
   3.5536179652017612`*^9}, 3.553966022285333*^9, 3.555724618644946*^9, 
   3.555812609537574*^9, {3.5559627392919617`*^9, 3.555962743401967*^9}, 
   3.556298517310848*^9, 3.5860254201573715`*^9, 3.5861106634710364`*^9, 
   3.6201611823678513`*^9, {3.7163996660727234`*^9, 3.716399676102297*^9}, {
   3.71641618663396*^9, 3.716416202802884*^9}, 3.73663096299149*^9, {
   3.7458652871036386`*^9, 3.7458652902518187`*^9}, {3.7458920496603613`*^9, 
   3.7458920499083757`*^9}, {3.7458923881747236`*^9, 
   3.7458923881747236`*^9}, {3.7458924631090097`*^9, 3.7458924633890257`*^9}, 
   3.7458950945325184`*^9, {3.745905827012381*^9, 3.7459058317326508`*^9}, {
   3.745950927370257*^9, 3.7459509396449585`*^9}, {3.746046797835943*^9, 
   3.746046797835943*^9}, {3.7460469095653343`*^9, 3.7460469095653343`*^9}, {
   3.7460470465241675`*^9, 3.7460470602289515`*^9}},
 FontSize->12,
 FontWeight->"Bold"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"\t", 
  RowBox[{Cell[TextData[StyleBox["1:",
    FontFamily->"Arial",
    FontColor->RGBColor[1, 0, 0]]], "None"], "  ", 
   RowBox[{"\[Integral]", 
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", " ", 
         RowBox[{"ArcTanh", "[", 
          RowBox[{"c", " ", 
           SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
     RowBox[{"\[DifferentialD]", "x"}], "  ", 
     StyleBox["when",
      FontFamily->"Arial",
      FontWeight->"Plain"], 
     StyleBox["  ",
      FontFamily->"Arial",
      FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
      RowBox[{
       RowBox[{
        RowBox[{"p", "-", "1"}], "\[Element]", 
        SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
       RowBox[{"n", "\[Element]", 
        SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}]}]]]], 
      "None"]}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9}, 
   3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
   3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9, 
   3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9, 
   3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
   3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
   3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9, 
   3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
   3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9, 
   3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9}, 
   3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
   3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9, 
   3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
   3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9, 
   3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
   3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9, 
   3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
   3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9, 
   3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
   3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9, 
   3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
   3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9, 
   3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
   3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9, 
   3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9}, 
   3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
   3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
   3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9, 
   3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9}, 
   3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
   3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9, 
   3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9}, 
   3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9}, 
   3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
   3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9, 
   3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
   3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
   3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9, 
   3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
   3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9, 
   3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9, 
   3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9}, 
   3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
   3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9, 
   3.5508025179152374`*^9}, {3.5508029261175857`*^9, 
   3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9}, 
   3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
   3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9, 
   3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
   3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9, 
   3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9, 
   3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9, 
   3.553617790541517*^9}, 3.553618024341844*^9, {3.555773069849354*^9, 
   3.5557730797865715`*^9}, 3.5562984432807446`*^9, 3.5860254201673713`*^9, 
   3.5861106634910364`*^9, 3.6201611857730465`*^9, 3.716399686685902*^9, {
   3.716400479459246*^9, 3.7164005254918795`*^9}, {3.719022117402334*^9, 
   3.7190221180533714`*^9}, {3.719027147127018*^9, 3.71902714734303*^9}, {
   3.7190776983002295`*^9, 3.7190777098708916`*^9}, {3.7366177524108877`*^9, 
   3.7366177538869724`*^9}, {3.7366230610955276`*^9, 3.736623062772623*^9}, {
   3.745866871005233*^9, 3.7458668712772484`*^9}, {3.7458950281127195`*^9, 
   3.7458950281127195`*^9}, {3.745895108356309*^9, 3.74589510854832*^9}, 
   3.7459058280044374`*^9, {3.7459463226668825`*^9, 3.7459463228658943`*^9}, {
   3.7459509421221004`*^9, 3.745950979386232*^9}, {3.7460467978519444`*^9, 
   3.7460467978519444`*^9}, {3.746046909581335*^9, 3.746046909581335*^9}, {
   3.7460470508844166`*^9, 3.746047051076428*^9}},
 FontSize->12,
 FontWeight->"Bold"],

Cell["Derivation: Algebraic expansion", "Subsubsection",
 CellChangeTimes->{{3.7190221262688413`*^9, 3.719022129603032*^9}}],

Cell[TextData[{
 "Basis: ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"ArcTanh", "[", "z", "]"}], "\[Equal]", 
   RowBox[{
    FractionBox[
     RowBox[{"Log", "[", 
      RowBox[{"1", "+", "z"}], "]"}], "2"], "-", 
    FractionBox[
     RowBox[{"Log", "[", 
      RowBox[{"1", "-", "z"}], "]"}], "2"]}]}]],
  CellChangeTimes->{{3.7164000820815177`*^9, 3.7164001510404615`*^9}}]
}], "Subsubsection",
 CellChangeTimes->{{3.7164000749121075`*^9, 3.716400075869162*^9}, 
   3.7164001604469995`*^9, {3.719022181028973*^9, 3.719022181028973*^9}, {
   3.719022443246971*^9, 3.719022443246971*^9}}],

Cell[TextData[{
 "Basis: ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"ArcCoth", "[", "z", "]"}], "\[Equal]", 
   RowBox[{
    FractionBox[
     RowBox[{"Log", "[", 
      RowBox[{"1", "+", 
       SuperscriptBox["z", 
        RowBox[{"-", "1"}]]}], "]"}], "2"], "-", 
    FractionBox[
     RowBox[{"Log", "[", 
      RowBox[{"1", "-", 
       SuperscriptBox["z", 
        RowBox[{"-", "1"}]]}], "]"}], "2"]}]}]],
  CellChangeTimes->{{3.7164000820815177`*^9, 3.7164001510404615`*^9}}]
}], "Subsubsection",
 CellChangeTimes->{{3.7164000749121075`*^9, 3.716400075869162*^9}, 
   3.7164001604469995`*^9, {3.719022181028973*^9, 3.719022181028973*^9}, {
   3.719022443246971*^9, 3.719022443246971*^9}, {3.7190225237215743`*^9, 
   3.7190225237215743`*^9}}],

Cell[TextData[{
 "Rule: If  ",
 Cell[BoxData[
  RowBox[{
   RowBox[{
    RowBox[{"p", "-", "1"}], "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
   RowBox[{"n", "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}]}]]],
 ", then"
}], "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9}, {
   3.5557730819861755`*^9, 3.5557730819861755`*^9}, {3.716400533673347*^9, 
   3.716400533673347*^9}, {3.7190221971868973`*^9, 3.71902219758792*^9}, {
   3.719077718025358*^9, 3.719077718025358*^9}, {3.74589502812572*^9, 
   3.74589502812572*^9}, {3.7459509721008153`*^9, 3.7459509732268796`*^9}, {
   3.7460467978709455`*^9, 3.7460467978709455`*^9}, {3.746046909600336*^9, 
   3.746046909600336*^9}}],

Cell[BoxData[
 RowBox[{"\[Integral]", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"b", " ", 
       RowBox[{"ArcTanh", "[", 
        RowBox[{"c", " ", 
         SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
   RowBox[{"\[DifferentialD]", 
    RowBox[{"x", "  ", "\[LongRightArrow]", "  ", 
     RowBox[{"\[Integral]", 
      RowBox[{
       RowBox[{"ExpandIntegrand", "[", 
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{"a", "+", 
            FractionBox[
             RowBox[{"b", " ", 
              RowBox[{"Log", "[", 
               RowBox[{"1", "+", 
                RowBox[{"c", " ", 
                 SuperscriptBox["x", "n"]}]}], "]"}]}], "2"], "-", 
            FractionBox[
             RowBox[{"b", " ", 
              RowBox[{"Log", "[", 
               RowBox[{"1", "-", 
                RowBox[{"c", " ", 
                 SuperscriptBox["x", "n"]}]}], "]"}]}], "2"]}], ")"}], "p"], 
         ",", "x"}], "]"}], 
       RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{{3.4796579732027807`*^9, 3.479658002474872*^9}, {
   3.4796580599975853`*^9, 3.4796580609489536`*^9}, {3.479658295195784*^9, 
   3.47965829684816*^9}, 3.4796611938939075`*^9, 3.4796613924794593`*^9, {
   3.479661443342597*^9, 3.479661446647349*^9}, {3.479661576554146*^9, 
   3.479661589302477*^9}, 3.479661847553824*^9, {3.4796622294729967`*^9, 
   3.4796622450654173`*^9}, {3.479686720424531*^9, 3.4796867204345455`*^9}, {
   3.4796874646646957`*^9, 3.4796874745589232`*^9}, {3.492826573513727*^9, 
   3.492826578630536*^9}, {3.4928267070863624`*^9, 3.492826707460763*^9}, 
   3.4928267903497095`*^9, {3.492829799151373*^9, 3.4928299617216005`*^9}, {
   3.4940972077187414`*^9, 3.4940972347887793`*^9}, {3.49409966398218*^9, 
   3.494099664952181*^9}, {3.4940997156722527`*^9, 3.494099716112253*^9}, {
   3.5860254201673713`*^9, 3.586025420177371*^9}, {3.586025740007834*^9, 
   3.586025749592848*^9}, {3.5861106634910364`*^9, 3.5861106635110364`*^9}, 
   3.5861109695214653`*^9, {3.716399960384557*^9, 3.7164000301995497`*^9}, {
   3.719022217090036*^9, 3.719022309698333*^9}, {3.7190224174124937`*^9, 
   3.7190224187365694`*^9}},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell["Program code:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
   3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9, 
   3.492805165713872*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Int", "[", 
    RowBox[{
     RowBox[{"ExpandIntegrand", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", "*", 
           RowBox[{
            RowBox[{"Log", "[", 
             RowBox[{"1", "+", 
              RowBox[{"c", "*", 
               RowBox[{"x", "^", "n"}]}]}], "]"}], "/", "2"}]}], "-", 
          RowBox[{"b", "*", 
           RowBox[{
            RowBox[{"Log", "[", 
             RowBox[{"1", "-", 
              RowBox[{"c", "*", 
               RowBox[{"x", "^", "n"}]}]}], "]"}], "/", "2"}]}]}], ")"}], "^",
         "p"}], ",", "x"}], "]"}], ",", "x"}], "]"}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"n", ",", "0"}], "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, 
   3.719022331420575*^9, 3.71902237259093*^9, {3.7190777193984365`*^9, 
   3.7190777243647203`*^9}, 3.7201601860846167`*^9, 3.7202005074895306`*^9, 
   3.73661776117939*^9, 3.74589501221481*^9, 3.745907960383403*^9, {
   3.7459509849325495`*^9, 3.7459509912119083`*^9}, {3.745951740379758*^9, 
   3.7459517405797696`*^9}, 3.7460468116177316`*^9, 3.7460469269073257`*^9},
 Background->GrayLevel[0.85]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcCoth", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Int", "[", 
    RowBox[{
     RowBox[{"ExpandIntegrand", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", "*", 
           RowBox[{
            RowBox[{"Log", "[", 
             RowBox[{"1", "+", 
              RowBox[{
               RowBox[{"x", "^", 
                RowBox[{"(", 
                 RowBox[{"-", "n"}], ")"}]}], "/", "c"}]}], "]"}], "/", 
            "2"}]}], "-", 
          RowBox[{"b", "*", 
           RowBox[{
            RowBox[{"Log", "[", 
             RowBox[{"1", "-", 
              RowBox[{
               RowBox[{"x", "^", 
                RowBox[{"(", 
                 RowBox[{"-", "n"}], ")"}]}], "/", "c"}]}], "]"}], "/", 
            "2"}]}]}], ")"}], "^", "p"}], ",", "x"}], "]"}], ",", "x"}], 
    "]"}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"n", ",", "0"}], "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, 
   3.719022331420575*^9, 3.71902237259093*^9, {3.7190225312450047`*^9, 
   3.7190225750955124`*^9}, 3.7190777300660467`*^9, 3.7201603066885147`*^9, 
   3.720200521883354*^9, 3.7366177633105116`*^9, 3.7458950122228107`*^9, 
   3.7459079626155305`*^9, 3.7459509961811924`*^9, {3.745951742483878*^9, 
   3.7459517426838903`*^9}, 3.7460468116357327`*^9, 3.746046926925327*^9},
 Background->GrayLevel[0.85]],

Cell["", "Subsubsection",
 CellDingbat->None,
 CellChangeTimes->{3.4796643211106243`*^9, 3.4941724567488375`*^9}]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"\t", 
  RowBox[{Cell[TextData[StyleBox["2:",
    FontFamily->"Arial",
    FontColor->RGBColor[1, 0, 0]]], "None"], "  ", 
   RowBox[{"\[Integral]", 
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", " ", 
         RowBox[{"ArcTanh", "[", 
          RowBox[{"c", " ", 
           SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
     RowBox[{"\[DifferentialD]", "x"}], "  ", 
     StyleBox["when",
      FontFamily->"Arial",
      FontWeight->"Plain"], 
     StyleBox["  ",
      FontFamily->"Arial",
      FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
      RowBox[{
       RowBox[{
        RowBox[{"p", "-", "1"}], "\[Element]", 
        SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
       RowBox[{"n", "\[Element]", 
        SuperscriptBox["\[DoubleStruckCapitalZ]", "-"]}]}]]]], 
      "None"]}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9}, 
   3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
   3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9, 
   3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9, 
   3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
   3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
   3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9, 
   3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
   3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9, 
   3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9}, 
   3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
   3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9, 
   3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
   3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9, 
   3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
   3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9, 
   3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
   3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9, 
   3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
   3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9, 
   3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
   3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9, 
   3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
   3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9, 
   3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9}, 
   3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
   3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
   3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9, 
   3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9}, 
   3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
   3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9, 
   3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9}, 
   3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9}, 
   3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
   3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9, 
   3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
   3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
   3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9, 
   3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
   3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9, 
   3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9, 
   3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9}, 
   3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
   3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9, 
   3.5508025179152374`*^9}, {3.5508029261175857`*^9, 
   3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9}, 
   3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
   3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9, 
   3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
   3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9, 
   3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9, 
   3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9, 
   3.553617790541517*^9}, 3.553618024341844*^9, {3.555773069849354*^9, 
   3.5557730797865715`*^9}, 3.5562984432807446`*^9, 3.5860254201673713`*^9, 
   3.5861106634910364`*^9, 3.6201611857730465`*^9, 3.716399686685902*^9, {
   3.716400479459246*^9, 3.7164005254918795`*^9}, {3.719022117402334*^9, 
   3.7190221180533714`*^9}, {3.719027147127018*^9, 3.71902714734303*^9}, {
   3.7190776983002295`*^9, 3.7190777098708916`*^9}, {3.7366177524108877`*^9, 
   3.7366177538869724`*^9}, {3.7366230610955276`*^9, 3.736623062772623*^9}, {
   3.745866871005233*^9, 3.7458668712772484`*^9}, {3.7458950281127195`*^9, 
   3.7458950281127195`*^9}, {3.745895108356309*^9, 3.74589510854832*^9}, 
   3.7459058280044374`*^9, {3.7459463226668825`*^9, 3.7459463228658943`*^9}, {
   3.7459509421221004`*^9, 3.745950979386232*^9}, {3.7459510198925486`*^9, 
   3.7459510274409804`*^9}, {3.746046797882946*^9, 3.746046797882946*^9}, {
   3.746046909616337*^9, 3.746046909616337*^9}, {3.746047052564513*^9, 
   3.746047052772525*^9}},
 FontSize->12,
 FontWeight->"Bold"],

Cell["\<\
Derivation: Algebraic simplification\
\>", "Subsubsection",
 CellChangeTimes->{{3.7190221262688413`*^9, 3.719022129603032*^9}, {
  3.745951391593809*^9, 3.7459513971681275`*^9}}],

Cell[TextData[{
 "Basis: ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"ArcTanh", "[", "z", "]"}], "\[Equal]", 
   RowBox[{"ArcCoth", "[", 
    FractionBox["1", "z"], "]"}]}]],
  CellChangeTimes->{{3.7164000820815177`*^9, 3.7164001510404615`*^9}}]
}], "Subsubsection",
 CellChangeTimes->{{3.7164000749121075`*^9, 3.716400075869162*^9}, 
   3.7164001604469995`*^9, {3.719022181028973*^9, 3.719022181028973*^9}, {
   3.719022443246971*^9, 3.719022443246971*^9}, {3.7459511267476606`*^9, 
   3.7459511267476606`*^9}}],

Cell[TextData[{
 "Rule: If  ",
 Cell[BoxData[
  RowBox[{
   RowBox[{
    RowBox[{"p", "-", "1"}], "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
   RowBox[{"n", "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "-"]}]}]]],
 ", then"
}], "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9}, {
   3.5557730819861755`*^9, 3.5557730819861755`*^9}, {3.716400533673347*^9, 
   3.716400533673347*^9}, {3.7190221971868973`*^9, 3.71902219758792*^9}, {
   3.719077718025358*^9, 3.719077718025358*^9}, {3.74589502812572*^9, 
   3.74589502812572*^9}, {3.7459509721008153`*^9, 3.7459509732268796`*^9}, {
   3.7459510384016075`*^9, 3.7459510384016075`*^9}, {3.7460467978909464`*^9, 
   3.7460467978909464`*^9}, {3.746046909625337*^9, 3.746046909625337*^9}}],

Cell[BoxData[
 RowBox[{"\[Integral]", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"b", " ", 
       RowBox[{"ArcTanh", "[", 
        RowBox[{"c", " ", 
         SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
   RowBox[{"\[DifferentialD]", 
    RowBox[{"x", "  ", "\[LongRightArrow]", "  ", 
     RowBox[{"\[Integral]", 
      RowBox[{
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", " ", 
           RowBox[{"ArcCoth", "[", 
            FractionBox[
             SuperscriptBox["x", 
              RowBox[{"-", "n"}]], "c"], "]"}]}]}], ")"}], "p"], 
       RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{{3.4796579732027807`*^9, 3.479658002474872*^9}, {
   3.4796580599975853`*^9, 3.4796580609489536`*^9}, {3.479658295195784*^9, 
   3.47965829684816*^9}, 3.4796611938939075`*^9, 3.4796613924794593`*^9, {
   3.479661443342597*^9, 3.479661446647349*^9}, {3.479661576554146*^9, 
   3.479661589302477*^9}, 3.479661847553824*^9, {3.4796622294729967`*^9, 
   3.4796622450654173`*^9}, {3.479686720424531*^9, 3.4796867204345455`*^9}, {
   3.4796874646646957`*^9, 3.4796874745589232`*^9}, {3.492826573513727*^9, 
   3.492826578630536*^9}, {3.4928267070863624`*^9, 3.492826707460763*^9}, 
   3.4928267903497095`*^9, {3.492829799151373*^9, 3.4928299617216005`*^9}, {
   3.4940972077187414`*^9, 3.4940972347887793`*^9}, {3.49409966398218*^9, 
   3.494099664952181*^9}, {3.4940997156722527`*^9, 3.494099716112253*^9}, {
   3.5860254201673713`*^9, 3.586025420177371*^9}, {3.586025740007834*^9, 
   3.586025749592848*^9}, {3.5861106634910364`*^9, 3.5861106635110364`*^9}, 
   3.5861109695214653`*^9, {3.716399960384557*^9, 3.7164000301995497`*^9}, {
   3.719022217090036*^9, 3.719022309698333*^9}, {3.7190224174124937`*^9, 
   3.7190224187365694`*^9}, {3.745951160731604*^9, 3.7459511946865463`*^9}},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell["Program code:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
   3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9, 
   3.492805165713872*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Int", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcCoth", "[", 
          RowBox[{
           RowBox[{"x", "^", 
            RowBox[{"(", 
             RowBox[{"-", "n"}], ")"}]}], "/", "c"}], "]"}]}]}], ")"}], "^", 
      "p"}], ",", "x"}], "]"}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"ILtQ", "[", 
     RowBox[{"n", ",", "0"}], "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, 
   3.719022331420575*^9, 3.71902237259093*^9, {3.7190777193984365`*^9, 
   3.7190777243647203`*^9}, 3.7201601860846167`*^9, 3.7202005074895306`*^9, 
   3.73661776117939*^9, 3.74589501221481*^9, 3.745907960383403*^9, {
   3.7459509849325495`*^9, 3.7459509912119083`*^9}, {3.7459512099084167`*^9, 
   3.7459512103164406`*^9}, 3.7459513309723415`*^9, {3.7459517277550364`*^9, 
   3.745951727931046*^9}, 3.746046811650734*^9, 3.7460469269393277`*^9},
 Background->GrayLevel[0.85]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcCoth", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Int", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcTanh", "[", 
          RowBox[{
           RowBox[{"x", "^", 
            RowBox[{"(", 
             RowBox[{"-", "n"}], ")"}]}], "/", "c"}], "]"}]}]}], ")"}], "^", 
      "p"}], ",", "x"}], "]"}], " ", "/;", "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"ILtQ", "[", 
     RowBox[{"n", ",", "0"}], "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9}, {
   3.494099665582182*^9, 3.4940996672021847`*^9}, {3.4940997193022575`*^9, 
   3.494099719662258*^9}, 3.5487323697700357`*^9, 3.548732623831567*^9, 
   3.5557730871809845`*^9, 3.5557731175542383`*^9, {3.586025535907539*^9, 
   3.5860255404775457`*^9}, 3.586025650415205*^9, {3.5860257756853857`*^9, 
   3.5860257965654154`*^9}, {3.5861106635210366`*^9, 3.5861106635410366`*^9}, 
   3.586110982611483*^9, 3.7152316663926735`*^9, {3.7164001898156796`*^9, 
   3.71640023614633*^9}, {3.7164003509708967`*^9, 3.716400443386183*^9}, 
   3.719022331420575*^9, 3.71902237259093*^9, {3.7190777193984365`*^9, 
   3.7190777243647203`*^9}, 3.7201601860846167`*^9, 3.7202005074895306`*^9, 
   3.73661776117939*^9, 3.74589501221481*^9, 3.745907960383403*^9, {
   3.7459509849325495`*^9, 3.7459509912119083`*^9}, {3.7459512099084167`*^9, 
   3.7459512103164406`*^9}, 3.7459513309723415`*^9, {3.7459513618881097`*^9, 
   3.7459513712196436`*^9}, {3.745951731531252*^9, 3.7459517317152624`*^9}, 
   3.7460468116587343`*^9, 3.746046926947328*^9},
 Background->GrayLevel[0.85]],

Cell["", "Subsubsection",
 CellDingbat->None,
 CellChangeTimes->{3.4796643211106243`*^9, 3.4941724567488375`*^9}]
}, Closed]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{Cell[TextData[StyleBox["3:",
   FontFamily->"Arial",
   FontColor->RGBColor[1, 0, 0]]], "None"], "  ", 
  RowBox[{"\[Integral]", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
    RowBox[{"\[DifferentialD]", "x"}], "  ", 
    StyleBox["when",
     FontFamily->"Arial",
     FontWeight->"Plain"], 
    StyleBox["  ",
     FontFamily->"Arial",
     FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
     RowBox[{
      RowBox[{
       RowBox[{"p", "-", "1"}], "\[Element]", 
       SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
      RowBox[{"n", "\[Element]", "\[DoubleStruckCapitalF]"}]}]]]], 
     "None"]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9}, 
   3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
   3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9, 
   3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9, 
   3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
   3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
   3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9, 
   3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
   3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9, 
   3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9}, 
   3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
   3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9, 
   3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
   3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9, 
   3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
   3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9, 
   3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
   3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9, 
   3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
   3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9, 
   3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
   3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9, 
   3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
   3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9, 
   3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9}, 
   3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
   3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
   3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9, 
   3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9}, 
   3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
   3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9, 
   3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9}, 
   3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9}, 
   3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
   3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9, 
   3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
   3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
   3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9, 
   3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
   3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9, 
   3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9, 
   3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9}, 
   3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
   3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9, 
   3.5508025179152374`*^9}, {3.5508029261175857`*^9, 
   3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9}, 
   3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
   3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9, 
   3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
   3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9, 
   3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9, 
   3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9, 
   3.553617790541517*^9}, 3.5536180162118325`*^9, {3.5536181502920203`*^9, 
   3.553618158782032*^9}, {3.553618200642091*^9, 3.553618200642091*^9}, {
   3.5536187940529213`*^9, 3.5536187975029263`*^9}, {3.5536190562932887`*^9, 
   3.553619059143293*^9}, {3.55577497216809*^9, 3.5557749735780916`*^9}, 
   3.5562986340610123`*^9, {3.5851540460779514`*^9, 3.5851540460779514`*^9}, {
   3.585156115967287*^9, 3.585156143594936*^9}, 3.5851562214234724`*^9, 
   3.5860254202373714`*^9, 3.5861106636710367`*^9, {3.586318752735836*^9, 
   3.586318753595837*^9}, 3.620161190430313*^9, {3.7190275410575495`*^9, 
   3.7190275614987183`*^9}, 3.7190287537149096`*^9, {3.7190292198615713`*^9, 
   3.7190292202115917`*^9}, {3.7190790616792107`*^9, 
   3.7190790806342945`*^9}, {3.7366235229739456`*^9, 3.736623526741161*^9}, 
   3.7366309939822626`*^9, {3.7458640007970657`*^9, 3.745864004988306*^9}, {
   3.745864160742214*^9, 3.745864162574319*^9}, {3.7458642593678555`*^9, 
   3.7458642593678555`*^9}, 3.7458644471095934`*^9, {3.7458655420852227`*^9, 
   3.745865551144741*^9}, {3.7458662802534437`*^9, 3.745866280420453*^9}, {
   3.7458920408128557`*^9, 3.7458920410048666`*^9}, {3.7458923881937246`*^9, 
   3.7458923881947246`*^9}, 3.74590273469351*^9, {3.745941988266969*^9, 
   3.745941993284256*^9}, 3.7459463704736176`*^9, {3.746046797900947*^9, 
   3.746046797900947*^9}, {3.746046909635338*^9, 3.746046909635338*^9}, {
   3.746047054380617*^9, 3.746047057316785*^9}},
 FontSize->12,
 FontWeight->"Bold"],

Cell["Derivation: Integration by substitution", "Subsubsection",
 CellChangeTimes->{{3.493099207935931*^9, 3.4930992149659414`*^9}, {
  3.7190790922529593`*^9, 3.7190790947771034`*^9}}],

Cell[TextData[{
 "Basis: If ",
 Cell[BoxData[
  RowBox[{"k", "\[Element]", 
   SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}]]],
 ", then ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"F", "[", "x", "]"}], "\[Equal]", 
   RowBox[{"k", " ", 
    RowBox[{"Subst", "[", 
     RowBox[{
      RowBox[{
       SuperscriptBox["x", 
        RowBox[{"k", "-", "1"}]], " ", 
       RowBox[{"F", "[", 
        SuperscriptBox["x", "k"], "]"}]}], ",", "x", ",", 
      SuperscriptBox["x", 
       RowBox[{"1", "/", "k"}]]}], "]"}], " ", 
    RowBox[{
     SubscriptBox["\[PartialD]", "x"], 
     SuperscriptBox["x", 
      RowBox[{"1", "/", "k"}]]}]}]}]], "Input",
  CellChangeTimes->{{3.496607156053342*^9, 3.4966071870033855`*^9}}]
}], "Subsubsection",
 CellChangeTimes->{
  3.496441803031353*^9, 3.4965396318089237`*^9, {3.4966002562016735`*^9, 
   3.4966002624716825`*^9}, 3.496600707442305*^9, 3.4966008475725017`*^9, {
   3.4966070255131593`*^9, 3.496607032413169*^9}, {3.496607078713234*^9, 
   3.4966070808932366`*^9}, {3.4966071978234005`*^9, 3.496607200693404*^9}, {
   3.4966322361067057`*^9, 3.4966322383967094`*^9}, {3.5182408053387165`*^9, 
   3.518240855102804*^9}, {3.518240891700468*^9, 3.5182409026360874`*^9}, {
   3.5182410660151744`*^9, 3.5182410727231865`*^9}, {3.51824110908685*^9, 
   3.5182411327052917`*^9}, {3.518241193217798*^9, 3.5182411959634027`*^9}, {
   3.518291448974951*^9, 3.5182914676169834`*^9}, {3.518291524323083*^9, 
   3.51829153976711*^9}, {3.518291575631573*^9, 3.518291589562398*^9}, {
   3.5182917514854827`*^9, 3.5182917625459023`*^9}, {3.5197703785418744`*^9, 
   3.5197704585544147`*^9}, {3.5197823003612146`*^9, 3.519782301297216*^9}, {
   3.5327273625227003`*^9, 3.532727372032713*^9}, {3.5330847121896152`*^9, 
   3.533084735369648*^9}, {3.533085202270302*^9, 3.5330852300403404`*^9}, {
   3.5330855269607563`*^9, 3.5330855372607703`*^9}, {3.533085675350964*^9, 
   3.533085678880969*^9}, {3.533085724121032*^9, 3.533085727061036*^9}, {
   3.533086048201486*^9, 3.5330860543014946`*^9}, {3.533087161943045*^9, 
   3.5330871737730618`*^9}, {3.533087596973654*^9, 3.533087624703693*^9}, {
   3.5330880821743336`*^9, 3.5330880821743336`*^9}, {3.5330881138943777`*^9, 
   3.533088126024395*^9}, {3.5362820775082874`*^9, 3.5362821103483334`*^9}, {
   3.613355450820037*^9, 3.613355457570047*^9}, {3.613355779670498*^9, 
   3.613355779670498*^9}, {3.613356168641042*^9, 3.613356168641042*^9}, {
   3.613669569847045*^9, 3.613669602397091*^9}, 3.613679965449111*^9, {
   3.613758903601014*^9, 3.613758925459264*^9}, {3.613775676664378*^9, 
   3.6137756776314335`*^9}, {3.745865614608371*^9, 3.7458656230578537`*^9}, {
   3.7459421676862316`*^9, 3.7459421676862316`*^9}, {3.7459425881302795`*^9, 
   3.7459426094294977`*^9}, {3.7459426601714*^9, 3.7459426601714*^9}, {
   3.7459427507975836`*^9, 3.7459427726808352`*^9}, {3.7459445597410493`*^9, 
   3.7459445597410493`*^9}}],

Cell[TextData[{
 "Rule: If  ",
 Cell[BoxData[
  RowBox[{
   RowBox[{
    RowBox[{"p", "-", "1"}], "\[Element]", 
    SuperscriptBox["\[DoubleStruckCapitalZ]", "+"]}], "\[And]", " ", 
   RowBox[{"n", "\[Element]", "\[DoubleStruckCapitalF]"}]}]]],
 ", let ",
 Cell[BoxData[
  RowBox[{"k", "\[Rule]", 
   RowBox[{"Denominator", "[", "n", "]"}]}]]],
 ", then"
}], "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, {
   3.493098879405472*^9, 3.493098884745479*^9}, {3.493099207935931*^9, 
   3.4930992149659414`*^9}, 3.4930996737265835`*^9, 3.493099827186798*^9, {
   3.719027544234731*^9, 3.719027544235731*^9}, {3.71907910415464*^9, 
   3.71907910433465*^9}, {3.7458645410279655`*^9, 3.7458645410279655`*^9}, {
   3.7458656662883267`*^9, 3.745865666785355*^9}, {3.745892388206725*^9, 
   3.745892388206725*^9}, {3.745942015437523*^9, 3.745942018384692*^9}, {
   3.7459427949611096`*^9, 3.745942838292588*^9}, {3.7460467979099474`*^9, 
   3.7460467979099474`*^9}, {3.7460469096443386`*^9, 3.7460469096443386`*^9}}],

Cell[BoxData[
 RowBox[{"\[Integral]", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"b", " ", 
       RowBox[{"ArcTanh", "[", 
        RowBox[{"c", " ", 
         SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
   RowBox[{"\[DifferentialD]", 
    RowBox[{"x", "  ", "\[LongRightArrow]", "  ", "k"}]}], " ", 
   RowBox[{"Subst", "[", 
    RowBox[{
     RowBox[{"\[Integral]", 
      RowBox[{
       SuperscriptBox["x", 
        RowBox[{"k", "-", "1"}]], " ", 
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", " ", 
           RowBox[{"ArcTanh", "[", 
            RowBox[{"c", " ", 
             SuperscriptBox["x", 
              RowBox[{"k", " ", "n"}]]}], "]"}]}]}], ")"}], "p"], 
       RowBox[{"\[DifferentialD]", "x"}]}]}], ",", "x", ",", 
     SuperscriptBox["x", 
      RowBox[{"1", "/", "k"}]]}], "]"}]}]}]], "Subsubtitle",
 CellChangeTimes->{{3.493098332554706*^9, 3.4930984922049294`*^9}, {
   3.4930985835950575`*^9, 3.4930986777351894`*^9}, {3.4930988533254347`*^9, 
   3.4930988578754416`*^9}, {3.493099207935931*^9, 3.4930992149659414`*^9}, {
   3.4930993574561405`*^9, 3.493099400886202*^9}, {3.493099526816378*^9, 
   3.49309953534639*^9}, 3.4931705981281786`*^9, {3.493170768098417*^9, 
   3.4931708122284784`*^9}, {3.494013179298343*^9, 3.4940132717176294`*^9}, {
   3.4940167360667787`*^9, 3.494016736987831*^9}, {3.494016997482731*^9, 
   3.4940169979477572`*^9}, {3.553618588562634*^9, 3.553618601552652*^9}, {
   3.5852097202839603`*^9, 3.585209729863973*^9}, {3.5860254202373714`*^9, 
   3.5860254202473717`*^9}, {3.586026341328703*^9, 3.5860263530137196`*^9}, {
   3.586055711254512*^9, 3.586055714124917*^9}, {3.586110663681037*^9, 
   3.5861106636910367`*^9}, {3.586111433842115*^9, 3.5861114521921406`*^9}, 
   3.586111502612211*^9, 3.5861115683523035`*^9, {3.719027548496975*^9, 
   3.7190275552003584`*^9}, {3.7190791166363535`*^9, 3.719079162435973*^9}, {
   3.7366309946793027`*^9, 3.736630995248335*^9}, 3.7458642786859603`*^9, {
   3.745864499293578*^9, 3.7458645072530336`*^9}, {3.7458655913490405`*^9, 
   3.7458655983734426`*^9}, {3.7459428623789654`*^9, 
   3.7459428844492283`*^9}, {3.7459463712296605`*^9, 3.745946371945701*^9}},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell["Program code:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
   3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9, 
   3.492805165713872*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"With", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"k", "=", 
       RowBox[{"Denominator", "[", "n", "]"}]}], "}"}], ",", "\n", "  ", 
     RowBox[{"k", "*", 
      RowBox[{"Subst", "[", 
       RowBox[{
        RowBox[{"Int", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"x", "^", 
            RowBox[{"(", 
             RowBox[{"k", "-", "1"}], ")"}]}], "*", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"a", "+", 
              RowBox[{"b", "*", 
               RowBox[{"ArcTanh", "[", 
                RowBox[{"c", "*", 
                 RowBox[{"x", "^", 
                  RowBox[{"(", 
                   RowBox[{"k", "*", "n"}], ")"}]}]}], "]"}]}]}], ")"}], "^", 
            "p"}]}], ",", "x"}], "]"}], ",", "x", ",", 
        RowBox[{"x", "^", 
         RowBox[{"(", 
          RowBox[{"1", "/", "k"}], ")"}]}]}], "]"}]}]}], "]"}], " ", "/;", 
   "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"FractionQ", "[", "n", "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.4928302625720215`*^9, 3.4928303000920744`*^9}, {
   3.4928305645624447`*^9, 3.4928305746224585`*^9}, {3.4930994731463027`*^9, 
   3.4930995793864517`*^9}, {3.494000871289543*^9, 3.494000871296543*^9}, {
   3.4940178019527435`*^9, 3.4940178274122*^9}, 3.5487323946014557`*^9, 
   3.5487326480149503`*^9, 3.5851544095366898`*^9, {3.585155517940237*^9, 
   3.585155518985439*^9}, {3.5851561195084934`*^9, 3.58515612893091*^9}, {
   3.5860255404975452`*^9, 3.5860255405075455`*^9}, 3.5860256583652163`*^9, {
   3.5860263966912823`*^9, 3.586026423146321*^9}, {3.5860557709702168`*^9, 
   3.5860557731542206`*^9}, {3.5861106637010365`*^9, 3.586110663721037*^9}, 
   3.5861109930214977`*^9, {3.5861117106625023`*^9, 3.586111721562518*^9}, 
   3.7152330940893335`*^9, {3.7190275870121775`*^9, 3.7190275975867825`*^9}, 
   3.7190791089319134`*^9, {3.7190792785016117`*^9, 3.7190792975497017`*^9}, {
   3.7190793475825634`*^9, 3.719079351618794*^9}, 3.720160281874096*^9, 
   3.7202005075315332`*^9, {3.736630995941375*^9, 3.7366309964314027`*^9}, {
   3.7458645628702145`*^9, 3.7458645968141565`*^9}, {3.745864651046258*^9, 
   3.745864664287016*^9}, {3.745865559734232*^9, 3.745865585990734*^9}, {
   3.7458657252226973`*^9, 3.745865725389707*^9}, 3.745892262426531*^9, 
   3.745892405198697*^9, {3.745942957252392*^9, 3.745943024372231*^9}, {
   3.745946372463731*^9, 3.745946373059765*^9}, 3.746046811667734*^9, 
   3.746046926955329*^9},
 Background->GrayLevel[0.85]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcCoth", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_"}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"With", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"k", "=", 
       RowBox[{"Denominator", "[", "n", "]"}]}], "}"}], ",", "\n", "  ", 
     RowBox[{"k", "*", 
      RowBox[{"Subst", "[", 
       RowBox[{
        RowBox[{"Int", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"x", "^", 
            RowBox[{"(", 
             RowBox[{"k", "-", "1"}], ")"}]}], "*", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"a", "+", 
              RowBox[{"b", "*", 
               RowBox[{"ArcCoth", "[", 
                RowBox[{"c", "*", 
                 RowBox[{"x", "^", 
                  RowBox[{"(", 
                   RowBox[{"k", "*", "n"}], ")"}]}]}], "]"}]}]}], ")"}], "^", 
            "p"}]}], ",", "x"}], "]"}], ",", "x", ",", 
        RowBox[{"x", "^", 
         RowBox[{"(", 
          RowBox[{"1", "/", "k"}], ")"}]}]}], "]"}]}]}], "]"}], " ", "/;", 
   "\n", 
   RowBox[{
    RowBox[{"FreeQ", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", "x"}], "]"}], " ", "&&",
     " ", 
    RowBox[{"IGtQ", "[", 
     RowBox[{"p", ",", "1"}], "]"}], " ", "&&", " ", 
    RowBox[{"FractionQ", "[", "n", "]"}]}]}]}]], "Code",
 CellChangeTimes->{{3.4928302625720215`*^9, 3.4928303000920744`*^9}, {
   3.4928305645624447`*^9, 3.4928305746224585`*^9}, {3.4930994731463027`*^9, 
   3.4930995793864517`*^9}, {3.494000871289543*^9, 3.494000871296543*^9}, {
   3.4940178019527435`*^9, 3.4940178274122*^9}, 3.5487323946014557`*^9, 
   3.5487326480149503`*^9, 3.5851544095366898`*^9, {3.585155517940237*^9, 
   3.585155518985439*^9}, {3.5851561195084934`*^9, 3.58515612893091*^9}, {
   3.5860255404975452`*^9, 3.5860255405075455`*^9}, 3.5860256583652163`*^9, {
   3.5860263966912823`*^9, 3.586026423146321*^9}, {3.5860557709702168`*^9, 
   3.5860557731542206`*^9}, {3.5861106637010365`*^9, 3.586110663721037*^9}, 
   3.5861109930214977`*^9, {3.5861117106625023`*^9, 3.586111721562518*^9}, 
   3.7152330940893335`*^9, {3.7190275870121775`*^9, 3.7190275975867825`*^9}, 
   3.7190791089319134`*^9, {3.7190792785016117`*^9, 3.7190792975497017`*^9}, {
   3.7190793475825634`*^9, 3.719079351618794*^9}, 3.720160281874096*^9, 
   3.7202005075315332`*^9, {3.736630995941375*^9, 3.7366309964314027`*^9}, {
   3.7458645628702145`*^9, 3.7458645968141565`*^9}, {3.745864651046258*^9, 
   3.745864664287016*^9}, {3.745865559734232*^9, 3.745865585990734*^9}, {
   3.7458657252226973`*^9, 3.745865725389707*^9}, 3.745892262426531*^9, 
   3.745892405198697*^9, {3.745942957252392*^9, 3.7459430611803365`*^9}, {
   3.7459463814372444`*^9, 3.745946383300351*^9}, 3.746046811676735*^9, 
   3.7460469269633293`*^9},
 Background->GrayLevel[0.85]],

Cell["", "Subsubsection",
 CellDingbat->None,
 CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{Cell[TextData[StyleBox["U:",
   FontFamily->"Arial",
   FontColor->RGBColor[1, 0, 0]]], "None"], "  ", 
  RowBox[{"\[Integral]", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"a", "+", 
       RowBox[{"b", " ", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c", " ", 
          SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
    RowBox[{"\[DifferentialD]", "x"}]}]}]}]], "Subsubtitle",
 CellDingbat->None,
 CellChangeTimes->{
  3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
   3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9, 
   3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9, 
   3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9}, 
   3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9}, 
   3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9, 
   3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
   3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9, 
   3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
   3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9, 
   3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9}, 
   3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9}, 
   3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
   3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9, 
   3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9, 
   3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
   3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
   3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9, 
   3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
   3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9, 
   3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9}, 
   3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
   3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9, 
   3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
   3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9, 
   3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
   3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9, 
   3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
   3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9, 
   3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
   3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9, 
   3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
   3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9, 
   3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
   3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9, 
   3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9}, 
   3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
   3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
   3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9, 
   3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9}, 
   3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
   3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9, 
   3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9}, 
   3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9}, 
   3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
   3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9, 
   3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
   3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
   3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9, 
   3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
   3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9, 
   3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9, 
   3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9}, 
   3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
   3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9, 
   3.5508025179152374`*^9}, {3.5508029261175857`*^9, 
   3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9}, 
   3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
   3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9, 
   3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
   3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9, 
   3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9, 
   3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9, 
   3.553617790541517*^9}, 3.553618024341844*^9, 3.5536194761638765`*^9, {
   3.553619522793942*^9, 3.553619534763959*^9}, {3.553620017114634*^9, 
   3.553620058754692*^9}, {3.553620107854761*^9, 3.553620107854761*^9}, {
   3.5536201760248566`*^9, 3.553620176454857*^9}, {3.5536202411749477`*^9, 
   3.553620244394952*^9}, 3.5536208500158*^9, {3.5536209236859035`*^9, 
   3.5536209236859035`*^9}, {3.553621329336471*^9, 3.553621329526471*^9}, 
   3.553622842418589*^9, 3.553623031478854*^9, {3.5541351824384127`*^9, 
   3.554135207637854*^9}, {3.554135501657794*^9, 3.554135501860594*^9}, {
   3.5541401948572173`*^9, 3.554140195075618*^9}, {3.5541402752753587`*^9, 
   3.554140280594968*^9}, 3.5541623849245358`*^9, {3.5544855401492753`*^9, 
   3.5544855441492805`*^9}, {3.555811642936221*^9, 3.555811643346221*^9}, 
   3.555814044809583*^9, 3.55586319799642*^9, {3.5558634529632673`*^9, 
   3.555863453540468*^9}, {3.555873211355882*^9, 3.5558732180658913`*^9}, {
   3.5559585212360563`*^9, 3.555958557616107*^9}, {3.555962790172033*^9, 
   3.555962814752067*^9}, {3.5559630371023784`*^9, 3.555963048642395*^9}, {
   3.555963419682914*^9, 3.5559634198429146`*^9}, 3.5562986591110473`*^9, 
   3.5860254202773714`*^9, {3.586315779663898*^9, 3.5863157932439175`*^9}, {
   3.5863169834580956`*^9, 3.586316983608096*^9}, {3.586367963386326*^9, 
   3.586367963386326*^9}, {3.5863707247567973`*^9, 3.5863707247967973`*^9}, 
   3.5863712335650287`*^9, 3.586371494760404*^9, 3.5863719225960183`*^9, 
   3.620158528279046*^9, {3.7197653592262526`*^9, 3.7197653592262526`*^9}, 
   3.719781553085474*^9, 3.71978165878852*^9, 3.720127052949911*^9, 
   3.7363797239149375`*^9, 3.736380161414961*^9, 3.736568298218416*^9, 
   3.736626873745599*^9, {3.7460458487396584`*^9, 3.7460458507237716`*^9}},
 FontSize->12,
 FontWeight->"Bold"],

Cell["Rule:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, {
   3.4807032170510798`*^9, 3.480703219724925*^9}, {3.480703363181205*^9, 
   3.480703382168507*^9}, 3.480703460921749*^9, {3.480705327535808*^9, 
   3.480705327856269*^9}, {3.492923482510395*^9, 3.4929235301528788`*^9}, {
   3.492923560276532*^9, 3.4929235623513355`*^9}, {3.4929245188358154`*^9, 
   3.4929245675391006`*^9}, {3.4929828355013185`*^9, 3.492982837903723*^9}, {
   3.493165951941674*^9, 3.493165958321683*^9}, 3.4931660117517576`*^9, {
   3.493252219687742*^9, 3.493252219687742*^9}, {3.4935813186420355`*^9, 
   3.493581344402072*^9}, {3.4940220183729095`*^9, 3.4940220212800756`*^9}, {
   3.553620890665857*^9, 3.553620890665857*^9}, {3.554135223683772*^9, 
   3.554135223683772*^9}, {3.55414034438348*^9, 3.5541403446642804`*^9}, {
   3.554485541739278*^9, 3.554485541739278*^9}, {3.555873277095974*^9, 
   3.555873277095974*^9}, {3.555958583216143*^9, 3.555958583216143*^9}, {
   3.555962845912111*^9, 3.555962845912111*^9}, 3.5863707208367915`*^9}],

Cell[BoxData[
 RowBox[{"\[Integral]", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"b", " ", 
       RowBox[{"ArcTanh", "[", 
        RowBox[{"c", " ", 
         SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
   RowBox[{"\[DifferentialD]", 
    RowBox[{"x", "  ", "\[LongRightArrow]", "  ", 
     RowBox[{"\[Integral]", 
      RowBox[{
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"b", " ", 
           RowBox[{"ArcTanh", "[", 
            RowBox[{"c", " ", 
             SuperscriptBox["x", "n"]}], "]"}]}]}], ")"}], "p"], 
       RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
 CellChangeTimes->{{3.493166154681958*^9, 3.4931662030820255`*^9}, 
   3.4931666207326107`*^9, {3.4932522463481894`*^9, 3.49325228099585*^9}, {
   3.4933158052693357`*^9, 3.4933158328693743`*^9}, {3.4933190308138514`*^9, 
   3.493319134053996*^9}, {3.4933192438441496`*^9, 3.4933192445541506`*^9}, {
   3.4933193363142796`*^9, 3.4933193414042864`*^9}, {3.493412534339759*^9, 
   3.493412536469762*^9}, {3.493789994101406*^9, 3.493790017041438*^9}, {
   3.4937903432618947`*^9, 3.4937903499119043`*^9}, {3.493791019842842*^9, 
   3.4937910517128863`*^9}, 3.493791106992964*^9, 3.49379132604327*^9, {
   3.4937915274235525`*^9, 3.493791535933564*^9}, {3.4937916827437696`*^9, 
   3.4937916869037757`*^9}, {3.494000871747569*^9, 3.4940008717505693`*^9}, {
   3.554134918375309*^9, 3.554134979953831*^9}, {3.5541351124444094`*^9, 
   3.5541351206638794`*^9}, 3.554140366644719*^9, {3.554485491439207*^9, 
   3.554485492939209*^9}, {3.5558636303979793`*^9, 3.555863635826789*^9}, {
   3.555866903741579*^9, 3.5558669058296986`*^9}, {3.555958592676156*^9, 
   3.5559585942461586`*^9}, {3.555962805112054*^9, 3.555962807082056*^9}, {
   3.555963050912398*^9, 3.5559630526124*^9}, {3.556298667641059*^9, 
   3.5562986681310596`*^9}, {3.5860254202773714`*^9, 
   3.5860254202873716`*^9}, {3.5863157962539215`*^9, 3.586315797983924*^9}, {
   3.58637123439503*^9, 3.5863712349150305`*^9}, {3.5863714963454065`*^9, 
   3.586371498330409*^9}, {3.586371924991022*^9, 3.5863719281010265`*^9}, {
   3.7197815539015207`*^9, 3.7197815543175445`*^9}, {3.7197816589585295`*^9, 
   3.7197816589635296`*^9}, {3.720127055480056*^9, 3.7201270583232183`*^9}, {
   3.7363797267230983`*^9, 3.736379729765272*^9}, {3.7365683001995296`*^9, 
   3.7365683018306227`*^9}, {3.736627032051653*^9, 3.7366270341157713`*^9}, {
   3.7460458545319896`*^9, 3.7460458576761694`*^9}},
 TextAlignment->Center,
 FontSize->12,
 FontWeight->"Bold"],

Cell["Program code:", "Subsubsection",
 CellDingbat->"\[FilledSmallSquare]",
 CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
   3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9, 
   3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9, 
   3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
   3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9, 
   3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9, 
   3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9}, 
   3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
   3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9, 
   3.492805165713872*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcTanh", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_."}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Unintegrable", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcTanh", "[", 
          RowBox[{"c", "*", 
           RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", "p"}], ",", 
     "x"}], "]"}], " ", "/;", "\n", 
   RowBox[{"FreeQ", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"a", ",", "b", ",", "c", ",", "n", ",", "p"}], "}"}], ",", 
     "x"}], "]"}]}]}]], "Code",
 CellChangeTimes->{{3.4929226712309704`*^9, 3.4929226741793756`*^9}, {
   3.4929227061594315`*^9, 3.4929229312990274`*^9}, {3.492922998410345*^9, 
   3.492923016443977*^9}, {3.49292307539648*^9, 3.4929230998417234`*^9}, {
   3.492923399487049*^9, 3.49292339992385*^9}, {3.4929234702175736`*^9, 
   3.4929234715435762`*^9}, {3.4929236652023163`*^9, 3.49292366743312*^9}, 
   3.4929802336571484`*^9, {3.492982933672291*^9, 3.4929829505983205`*^9}, {
   3.4929832472016416`*^9, 3.4929833842790823`*^9}, {3.4929834529036026`*^9, 
   3.4929834542764053`*^9}, {3.493166117311906*^9, 3.493166138981936*^9}, {
   3.4931662751621265`*^9, 3.4931663186221876`*^9}, {3.4934126182898765`*^9, 
   3.493412622519882*^9}, {3.4935809700815477`*^9, 3.4935809719615507`*^9}, {
   3.493791136533005*^9, 3.4937911896730795`*^9}, 3.4937912549331713`*^9, {
   3.4938403406557693`*^9, 3.4938403671446157`*^9}, {3.4940008717605696`*^9, 
   3.49400087176457*^9}, 3.4940219212193527`*^9, 3.5486903743006315`*^9, {
   3.5487324587251234`*^9, 3.548732460208208*^9}, {3.548732730811686*^9, 
   3.548732736147991*^9}, {3.5541352991580887`*^9, 3.5541353413395014`*^9}, {
   3.5541402938081913`*^9, 3.5541403311390567`*^9}, {3.5541403721671286`*^9, 
   3.554140375427534*^9}, 3.554140423054418*^9, {3.5544854952692127`*^9, 
   3.5544855279792585`*^9}, {3.5558140527895947`*^9, 3.555814074569625*^9}, {
   3.5558636242359686`*^9, 3.555863646076007*^9}, {3.555873294705999*^9, 
   3.555873298326004*^9}, {3.555958612566184*^9, 3.5559586269962044`*^9}, {
   3.555958657236247*^9, 3.555958669896264*^9}, {3.5559587036863117`*^9, 
   3.555958714536327*^9}, {3.5559628608421316`*^9, 3.555962898172184*^9}, 
   3.555962928342226*^9, {3.555963176762574*^9, 3.5559632050226135`*^9}, {
   3.556298669071061*^9, 3.5562986703810625`*^9}, 3.5860255405375457`*^9, 
   3.5860256583852167`*^9, {3.5860265744815397`*^9, 3.586026575116541*^9}, {
   3.5863158576340075`*^9, 3.5863158742440305`*^9}, {3.586370728206802*^9, 
   3.5863707349618115`*^9}, {3.5863712386450357`*^9, 3.586371245735046*^9}, {
   3.5863715049154186`*^9, 3.5863715309904556`*^9}, {3.586371931291031*^9, 
   3.5863719338510346`*^9}, 3.712338196236747*^9, 3.7155500714324493`*^9, {
   3.7197815549455805`*^9, 3.719781556238654*^9}, 3.719781723200204*^9, 
   3.7197817777033215`*^9, 3.7197818101651783`*^9, {3.7201270653066177`*^9, 
   3.720127090417054*^9}, {3.736379684852703*^9, 3.7363798350062914`*^9}, {
   3.73637990613836*^9, 3.7363799454506087`*^9}, {3.7363799785935044`*^9, 
   3.736380073130912*^9}, 3.736380192602745*^9, {3.736568304277763*^9, 
   3.7365683061888723`*^9}, {3.736626888875464*^9, 3.736626961308607*^9}, {
   3.7366270172238054`*^9, 3.7366270176868315`*^9}, {3.736627076079171*^9, 
   3.736627077381246*^9}, {3.745907347398342*^9, 3.7459073546387563`*^9}, {
   3.7460458184949284`*^9, 3.7460458308296337`*^9}, {3.7460458694458427`*^9, 
   3.7460458877168875`*^9}, 3.7460470142533216`*^9},
 Background->GrayLevel[0.85]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Int", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"a_.", "+", 
       RowBox[{"b_.", "*", 
        RowBox[{"ArcCoth", "[", 
         RowBox[{"c_.", "*", 
          RowBox[{"x_", "^", "n_."}]}], "]"}]}]}], ")"}], "^", "p_"}], ",", 
    "x_Symbol"}], "]"}], " ", ":=", "\n", "  ", 
  RowBox[{
   RowBox[{"Unintegrable", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"b", "*", 
         RowBox[{"ArcCoth", "[", 
          RowBox[{"c", "*", 
           RowBox[{"x", "^", "n"}]}], "]"}]}]}], ")"}], "^", "p"}], ",", 
     "x"}], "]"}], " ", "/;", "\n", 
   RowBox[{"FreeQ", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"a", ",", "b", ",", "c", ",", "n", ",", "p"}], "}"}], ",", 
     "x"}], "]"}]}]}]], "Code",
 CellChangeTimes->{{3.4929226712309704`*^9, 3.4929226741793756`*^9}, {
   3.4929227061594315`*^9, 3.4929229312990274`*^9}, {3.492922998410345*^9, 
   3.492923016443977*^9}, {3.49292307539648*^9, 3.4929230998417234`*^9}, {
   3.492923399487049*^9, 3.49292339992385*^9}, {3.4929234702175736`*^9, 
   3.4929234715435762`*^9}, {3.4929236652023163`*^9, 3.49292366743312*^9}, 
   3.4929802336571484`*^9, {3.492982933672291*^9, 3.4929829505983205`*^9}, {
   3.4929832472016416`*^9, 3.4929833842790823`*^9}, {3.4929834529036026`*^9, 
   3.4929834542764053`*^9}, {3.493166117311906*^9, 3.493166138981936*^9}, {
   3.4931662751621265`*^9, 3.4931663186221876`*^9}, {3.4934126182898765`*^9, 
   3.493412622519882*^9}, {3.4935809700815477`*^9, 3.4935809719615507`*^9}, {
   3.493791136533005*^9, 3.4937911896730795`*^9}, 3.4937912549331713`*^9, {
   3.4938403406557693`*^9, 3.4938403671446157`*^9}, {3.4940008717605696`*^9, 
   3.49400087176457*^9}, 3.4940219212193527`*^9, 3.5486903743006315`*^9, {
   3.5487324587251234`*^9, 3.548732460208208*^9}, {3.548732730811686*^9, 
   3.548732736147991*^9}, {3.5541352991580887`*^9, 3.5541353413395014`*^9}, {
   3.5541402938081913`*^9, 3.5541403311390567`*^9}, {3.5541403721671286`*^9, 
   3.554140375427534*^9}, 3.554140423054418*^9, {3.5544854952692127`*^9, 
   3.5544855279792585`*^9}, {3.5558140527895947`*^9, 3.555814074569625*^9}, {
   3.5558636242359686`*^9, 3.555863646076007*^9}, {3.555873294705999*^9, 
   3.555873298326004*^9}, {3.555958612566184*^9, 3.5559586269962044`*^9}, {
   3.555958657236247*^9, 3.555958669896264*^9}, {3.5559587036863117`*^9, 
   3.555958714536327*^9}, {3.5559628608421316`*^9, 3.555962898172184*^9}, 
   3.555962928342226*^9, {3.555963176762574*^9, 3.5559632050226135`*^9}, {
   3.556298669071061*^9, 3.5562986703810625`*^9}, 3.5860255405375457`*^9, 
   3.5860256583852167`*^9, {3.5860265744815397`*^9, 3.586026575116541*^9}, {
   3.5863158576340075`*^9, 3.5863158742440305`*^9}, {3.586370728206802*^9, 
   3.5863707349618115`*^9}, {3.5863712386450357`*^9, 3.586371245735046*^9}, {
   3.5863715049154186`*^9, 3.5863715309904556`*^9}, {3.586371931291031*^9, 
   3.5863719338510346`*^9}, 3.712338196236747*^9, 3.7155500714324493`*^9, {
   3.7197815549455805`*^9, 3.719781556238654*^9}, 3.719781723200204*^9, 
   3.7197817777033215`*^9, 3.7197818101651783`*^9, {3.7201270653066177`*^9, 
   3.720127090417054*^9}, {3.736379684852703*^9, 3.7363798350062914`*^9}, {
   3.73637990613836*^9, 3.7363799454506087`*^9}, {3.7363799785935044`*^9, 
   3.736380073130912*^9}, 3.736380192602745*^9, {3.736568304277763*^9, 
   3.7365683061888723`*^9}, {3.736626888875464*^9, 3.736626961308607*^9}, {
   3.7366270172238054`*^9, 3.7366270176868315`*^9}, {3.736627076079171*^9, 
   3.736627087659834*^9}, {3.7459073507675347`*^9, 3.7459073580469513`*^9}, {
   3.7460458234222097`*^9, 3.746045833613793*^9}, {3.746045872965044*^9, 
   3.746045891837123*^9}, 3.7460470171734886`*^9},
 Background->GrayLevel[0.85]],

Cell["", "Subsubsection",
 CellDingbat->None,
 CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]]
},
AutoGeneratedPackage->Automatic,
CellGrouping->Manual,
WindowSize->{1908, 946},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
PrintingCopies->1,
PrintingStartingPageNumber->1,
PrintingPageRange->{1, 32000},
PageHeaders->{{
   Cell[
    TextData[{
      StyleBox[
       CounterBox["Page"], "PageNumber"], " ", "|", " ", 
      StyleBox[
       ValueBox["FileName"], "Header"]}], "Header", 
    CellMargins -> {{0, Inherited}, {Inherited, Inherited}}], None, None}, {
   Cell[
    TextData[{
     "Rules", " ", "for", " ", "integrands", " ", "of", " ", "the", " ", 
      "form", " ", "(", "a", "+", "b", " ", "arctanh", "(", "c", " ", "x", 
      "^", "n", ")", ")", "^", "p"}], "Header", 
    CellMargins -> {{0, Inherited}, {Inherited, Inherited}}], None, 
   Cell[
    TextData[
     CounterBox["Page", CounterFunction :> Identity]], "Header", 
    CellMargins -> {{Inherited, 0}, {Inherited, Inherited}}]}},
PageFooters->{{None, None, None}, {None, None, None}},
PageHeaderLines->{False, False},
PageFooterLines->{False, False},
PrintingOptions->{"FacingPages"->False,
"FirstPageFace"->Right,
"FirstPageFooter"->False,
"FirstPageHeader"->False,
"Magnification"->1.,
"PaperOrientation"->"Landscape",
"PaperSize"->{792, 612},
"PrintCellBrackets"->False,
"PrintMultipleHorizontalPages"->False,
"PrintRegistrationMarks"->False,
"PrintingMargins"->{{28.8, 41.976}, {28.8, 28.8}}},
Magnification->1.399999976158142,
FrontEndVersion->"8.0 for Microsoft Windows (64-bit) (October 6, 2011)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[545, 20, 2080, 39, 42, "Subsubtitle"],
Cell[CellGroupData[{
Cell[2650, 63, 6358, 104, 53, "Subsubtitle"],
Cell[9011, 169, 57, 0, 35, "Subsubsection"],
Cell[9071, 171, 1327, 37, 46, "Subsubsection"],
Cell[10401, 210, 1251, 24, 26, "Subsubsection"],
Cell[11655, 236, 2577, 60, 68, "Subsubtitle"],
Cell[14235, 298, 771, 11, 35, "Subsubsection"],
Cell[15009, 311, 2856, 73, 129, "Code"],
Cell[17868, 386, 2886, 74, 139, "Code"],
Cell[20757, 462, 113, 2, 35, "Subsubsection"]
}, Closed]],
Cell[CellGroupData[{
Cell[20907, 469, 4424, 76, 53, "Subsubtitle"],
Cell[CellGroupData[{
Cell[25356, 549, 6690, 107, 53, "Subsubtitle"],
Cell[32049, 658, 124, 1, 35, "Subsubsection"],
Cell[32176, 661, 586, 16, 37, "Subsubsection"],
Cell[32765, 679, 746, 21, 45, "Subsubsection"],
Cell[33514, 702, 1333, 25, 26, "Subsubsection"],
Cell[34850, 729, 2320, 52, 71, "Subsubtitle"],
Cell[37173, 783, 771, 11, 35, "Subsubsection"],
Cell[37947, 796, 2333, 56, 104, "Code"],
Cell[40283, 854, 2497, 62, 114, "Code"],
Cell[42783, 918, 113, 2, 35, "Subsubsection"]
}, Closed]],
Cell[CellGroupData[{
Cell[42933, 925, 6738, 108, 53, "Subsubtitle"],
Cell[49674, 1035, 188, 4, 35, "Subsubsection"],
Cell[49865, 1041, 508, 12, 39, "Subsubsection"],
Cell[50376, 1055, 1383, 25, 26, "Subsubsection"],
Cell[51762, 1082, 1998, 42, 65, "Subsubtitle"],
Cell[53763, 1126, 771, 11, 35, "Subsubsection"],
Cell[54537, 1139, 2098, 49, 104, "Code"],
Cell[56638, 1190, 2152, 50, 114, "Code"],
Cell[58793, 1242, 113, 2, 35, "Subsubsection"]
}, Closed]]
}, Closed]],
Cell[CellGroupData[{
Cell[58955, 1250, 7121, 112, 53, "Subsubtitle"],
Cell[66079, 1364, 185, 2, 35, "Subsubsection"],
Cell[66267, 1368, 2902, 54, 29, "Subsubsection"],
Cell[69172, 1424, 1531, 29, 26, "Subsubsection"],
Cell[70706, 1455, 2320, 49, 53, "Subsubtitle"],
Cell[73029, 1506, 771, 11, 35, "Subsubsection"],
Cell[73803, 1519, 3054, 70, 129, "Code"],
Cell[76860, 1591, 3060, 70, 139, "Code"],
Cell[79923, 1663, 89, 2, 35, "Subsubsection"]
}, Closed]],
Cell[CellGroupData[{
Cell[80049, 1670, 7028, 104, 53, "Subsubtitle"],
Cell[87080, 1776, 1554, 21, 35, "Subsubsection"],
Cell[88637, 1799, 2591, 49, 53, "Subsubtitle"],
Cell[91231, 1850, 771, 11, 35, "Subsubsection"],
Cell[92005, 1863, 3779, 67, 104, "Code"],
Cell[95787, 1932, 3775, 67, 114, "Code"],
Cell[99565, 2001, 89, 2, 35, "Subsubsection"]
}, Closed]]
}
]
*)

(* End of internal cache information *)